《韩诗外传》卷一：“ 荆 伐 陈 ， 陈 西门坏，因其降民使脩之， 孔子 过而不式。”