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

　　古者以周尺八尺为步，今以周尺六尺四寸为步。古者百亩，当今东田百四十六亩三十步。古者百里，当今百二十一里六十步四尺二寸二分。

　　是故古者天子之制，诸侯岁献贡士于天子，天子试之于射宫。其容体比于礼，其节比于乐，而中多者，得与于祭。其容体不比于礼，其节不比于乐，而中少者，不得与于祭。数与于祭而君有庆；数不与于祭而君有让。数有庆而益地；数有让而削地。故曰：射者，射为诸侯也。是以诸侯君臣尽志于射，以习礼乐。夫君臣习礼乐而以流亡者，未之有也。