公孫淵
238年、司馬懿に従い牛金と共に公孫淵征伐に赴き、公孫淵軍の卑衍・楊祚を破っている（遼隧の戦い）。