《资治通鉴•魏纪•世祖太和元年》："昔武皇帝征南郑，取张鲁，阳平之役，危而后济，又自往拔出夏侯渊军，数言‘南郑直为天狱，中斜谷道为五百里石穴耳，’言其深险，喜出渊军之辞也

昔太祖武皇帝收张鲁时，危而后济。明•罗贯中《三国演义》第九十六回