《礼记正义》
○正义曰：案《世本》：“庄叔达生得闾叔谷，谷生成叔烝鉏，鉏生顷叔罗，罗生昭叔起，起生文叔圉，圉生悝。”庄叔是悝七世祖也。云“成公为晋文公所伐，出奔楚”者，案僖二十八年《左传》称，卫与楚，晋文公败楚于城濮。卫侯惧，出居于襄牛，遂奔楚。云“坐杀弟叔武，晋人执而归之于京师，寘之深室也”者，亦僖二十八年《左传》文。晋人归卫侯，入其室，弟叔武将沐，闻君至喜，捉发走出，前驱歂犬，射而杀之，其大夫元咺出奔晋，讼卫侯。卫侯不胜，执卫侯归之于京师，寘诸深室。是其事也。案《左传》于时无孔达之事，而云之者，传文不具，或者蒯聩欲褒美孔悝，故假其先祖之功而言之也。