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

　　提婆初至，為東亭第講阿毗曇。始發講，坐裁半，僧彌便雲：“都已曉。”即於坐分數四有意道人更就余屋自講。提婆講竟，東亭問法岡道人曰：“弟子都未解，阿彌那得已解？所得雲何？”曰：“大略全是，故當小未精核耳。”

　　自恒山至于南河，千里而近；自南河至于江，千里而近。自江至于衡山，千里而遥；自东河至于东海，千里而遥。自东河至于西河，千里而近；自西河至于流沙，千里而遥。西不尽流沙，南不尽衡山，东不近东海，北不尽恒山，凡四海之内，断长补短，方三千里，为田八十万亿一万亿亩。方百里者为田九十亿亩：山陵、林麓、川泽、沟渎、城郭、宫室、涂巷，三分去一，其余六十亿亩。