蜀汉延熙十六年秋，姜维起兵（）出阳平关伐魏。