《陈书·本纪·卷一》
在从前昌明时期，早就不负朝廷重托，远达沧海，开拓到交州、越州。
昔在休期，早隆朝寄，远逾沧海，大拯交、越。
In the former era of prosperity, he fulfilled the court's heavy mandate and extended far to the sea, opening the way as far as Jiaozhou and Yuezhou.