孔明のライバルを司馬懿とされていますが、それは演義の話しであって正史では、一度キリしか直接戦っていないような…