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