程武是程昱的儿子。
这几年过去，曹仁也已经病死了，而本该成为曹魏顶梁柱的曹洪和曹彰都不得曹丕信任，夏侯尚和曹休又投靠了刘禅，
以至于年近六旬的夏侯渊仍然承担着重任无法退休。
刘禅出兵的消息早就已经传到了长安，曹真与夏侯渊一方面传令南安郡和天水郡坚守待援，一方面赶紧派人去洛阳报告曹丕，并请曹丕另派大将支援。
不数日，洛阳就传来曹丕的圣旨，以曹真为大将军，雍凉兵马大都督，统领雍凉和关中所有二十万军马，前往抵御刘禅，并派骠骑大将军司马懿为副都督，夏侯渊继续留守长安。
刘禅行军途中，已经得到了司马懿为副都督的消息。
不用说，肯定是在曹真的大力推荐下，曹丕最终还是决定赋予司马懿一部分兵权，没办法，刘禅实在太强了，不用司马懿，无人能制衡刘禅。
曹真可以算是司马懿的知己加铁杆粉丝了(别看新三国，那里面拍的曹真简直是在侮辱曹真。)，历史上曹叡不信任司马懿，是曹真死保司马懿无反心，而且他曾经数次将兵权让给司马懿。
也不知道司马懿后来怎么能做到铁石心肠的灭曹爽三族将曹真杀得绝后的，虽然最后让外人承嗣曹真，但这种将人家后人杀光让外人承嗣的行为，又有什么意义呢？
刘禅与曹丕相见之时，也见过司马懿一面，其人风度翩翩，一身正气，难怪曹魏的人都将他视做荀彧荀攸一样的君子了。
此时，有一个西凉大将韩德，善使开山大斧，号称有万夫不当之勇，率领西羌诸路兵十万来见曹真。
曹真大喜，重赏韩德，韩德有四个儿子，个个精通武艺，弓马过人，长子韩瑛，次子韩瑶，三子韩琼，四子韩班。
曹真也是一个刘禅的资深的手下败将，已经在刘禅手里吃过很多次瘪了，当年南阳大战，曹真与曹仁作为先锋，还谈论过刘禅的花边新闻，凭空造谣说刘禅养了几十个美女小姐姐身穿男装假扮面首，后来被刘禅一战杀得魂