《三国志·魏书·刘司马梁张温贾传》
当时渑池县由蠡城暂时治理，城池和壕沟都不坚固，贾逵跟随张琰到脩城请求士兵支援。
时县寄治蠡城，城堑不固，逵从琰求兵脩城。
At that time, Mianchi County was temporarily governed by Li Cheng, and the city and moat were not strong. Jia Kui followed Zhang Yan to Xiucheng to request soldier reinforcements.