高貴鄉公薨，內外諠嘩。司馬文王問侍中陳泰曰：“何以靜之？”泰雲：“唯殺賈充，以謝天下。”文王曰：“可復下此不？”對曰：“但見其上，未見其下。”

　　方千里者，为方百里者百。封方百里者三十国，其余，方百里者七十。又封方七十里者六十--为方百里者二十九，方十里者四十。其余，方百里者四十，方十里者六十；又封方五十里者二十--为方百里者三十；其余，方百里者十，方十里者六十。名山大泽不以封，其余以为附庸间田。诸侯之有功者，取于间田以禄之；其有削地者，归之间田。

　　王仲祖稱殷淵源：“非以長勝人，處長亦勝人。”