蜀汉延熙十六年秋，将军姜维起兵二十万，令廖化、张翼为左右先锋，夏侯霸为参谋，张嶷为运粮使，大兵出阳平关伐魏。维与夏侯霸商议曰：向取雍州，不克而还；今若再出，必又有准备。公...