司马懿埋伏蜀将魏延，没想到被魏延和援军反败为胜