《礼记正义》
○正义曰：引《春秋左传》昭二十九年蔡墨辞云：“厉山氏，炎帝也，起于厉山”者，案《帝王世纪》云“神农氏本起于烈山，或时称之神农，即炎帝也”，故云“厉山氏，炎帝也”。云“或曰有烈山氏”者，案二十九年传文也。云“弃，后稷名也”者，称《舜典》云“弃汝后稷”，是弃为后稷名也。云“共工氏无录而王，谓之霸，在大昊、炎帝之间”者，是《汉 律历志》文。又案《月令》“春，其帝大皞。夏，其帝炎帝”，不载共工氏，是无录，以水纪官，是无录而王。案昭十七年《左传》郯子称“黄帝氏以云纪，炎帝以火纪，共工氏以水纪，大皞氏以龙纪”。从下逆陈，是在炎帝之前、大昊之后也。云“著众，谓使民兴事，知休作之则也”者，由序历星辰，敬授明时，使民兴造其事，知休作之期，民得显著。云“二十八载乃死也”者，《虞书》文也。云“殛死，谓不能成其功也”者，鲧被殛羽山，以至于死，所以殛者，由不能成其功也。云“明民，谓使之衣服有章”者，案《易 系》云“黄帝、尧、舜垂衣裳而天下治”，盖取乾坤是也。云“冥，契六世之孙也”者，案《世本》“契生昭明，昭明生相士，相士生昌若，昌若生曹圉，曹圉生根国，根国生冥”，是契六世孙也。