(1) 程chéng炎yán震zhèn云yún：「王wáng⾧於yú謝xiè⼗七qī歲suì。阮ruǎn以yǐ年nián少shào呼hū右yòu軍jūn，亦yì當dāng⾧⼗餘yú歲suì，視shì

謝xiè更gèng爲wèi宿sù⿒矣yǐ。⽽謝xiè不bù相xiāng推tuī，豈qǐ亦yì如rú根gēn矩jǔ之zhī於yú康kāng成chéng耶yé？」

62 太tài極jí殿diàn始shǐ成chéng，徐xú廣guǎng晉jìn紀jì⽈：「孝xiào武wǔ寧níng康kāng⼆年nián，尚shàng書shū令lìng王wáng彪biāo

之zhī等děng啟qǐ改gǎi作zuò新xīn宮gōng。太tài元yuán三sān年nián⼆⽉，內nèi外wài軍jūn六liù千qiān⼈始shǐ營yíng築zhù，⾄七qī⽉⽽成chéng。太tài