『南史』10　陳本紀下10

（至徳三年）十二月癸卯、高麗國遣使朝貢。