三十八年正月甲戌己丑，桓公鲍卒。【桓公弟佗，其母蔡女，故蔡人为佗杀五父及桓公太子免而立佗，是为厉公。】桓公病而乱作，国人分散，故再赴。
　　厉公二年，生子敬仲完。周太史过陈，陈厉公使以周易筮之，卦得观之否：“是为观国之光，利用宾于王。此其代陈有国乎？不在此，其在异国？非此其身，在其子孙。若在异国，必姜姓。姜姓，太岳之後。物莫能两大，陈衰，此其昌乎？”
　　【厉公取蔡女，蔡女与蔡人乱，厉公数如蔡淫】。七年，厉公所杀桓公太子免之三弟，长曰跃，中曰林，少曰杵臼，共令蔡人诱厉公以好女，与蔡人共杀厉公而立跃，是为利公。利公者，桓公子也。利公立五月卒，立中弟林，是为庄公。庄公七年卒，少弟杵臼立，是为宣公。（《史记·陈杞世家》）
　　厉公者，陈文公少子也，其母蔡女。文公卒，厉公兄鲍立，是为桓公。桓公与他异母。及桓公病，蔡人为他杀桓公鲍及太子免而立他，为厉公。【厉公既立，娶蔡女。蔡女淫於蔡人，数归，厉公亦数如蔡。】桓公之少子林怨厉公杀其父与兄，乃令蔡人诱厉公而杀之。林自立，是为庄公。故陈完不得立，为陈大夫。厉公之杀，以淫出国，故春秋曰“蔡人杀陈他”，罪之也。（《史记·田敬仲完世家》）

五年，春正月甲戌己丑，陈侯鲍卒。（《春秋·桓公五年》）
蔡人杀陈佗。（《春秋·桓公六年》）
陈佗者何？陈君也。陈君则曷为谓之陈佗？绝也。曷为绝之？贱也。其贱奈何？外淫也。恶乎淫？淫于蔡，蔡人杀之。（《公羊传·桓公六年》）
陈佗者，陈君也。其曰陈佗何也？匹夫行，故匹夫称之也。其匹夫行奈何？陈侯喜猎，淫猎于蔡，与蔡人争禽，蔡人不知其是陈君也，而杀之。何以知其是陈君也？两下相杀，不道。其不地于蔡也。（《穀梁传·桓公六年》）