晉書 宣帝本記:
四年，遷大將軍，加大都督、假黃鉞，與曹真伐蜀。帝自西城斫山開道，水陸並進，
泝沔而上，至於朐忍拔其新豐縣。軍次丹口，遇雨，班師。
翻譯成人話就是:230年，天子(曹睿)加封皇帝(司馬懿) 為大將軍、大都督、假黃鉞，與
曹真一起伐蜀。皇帝從西城挖掉大巴山建立隧道，水陸並進，從沔水而上，到達朐忍還攻
佔新豐縣。軍隊駐紮在丹口，遇到下雨，再走隧道班師回朝。
https://imgur.com/Tw21zvD
這個新豐不是關中的那個新豐，是劉備攻下漢中後新設立的一個縣，叫漢豐
如果這樣的話，司馬懿從沔水而上經過漢中到達朐忍是可以的，但這樣就打退諸葛亮的守
軍了，很難想像陳壽不會把這英勇事蹟寫在三國志上
但這樣子的話，司馬懿到達漢豐縣就只有一個選擇，就是翻過大巴山，或著像晉書寫的那
樣，挖一個隧道出來。
攻下漢豐後，司馬懿還駐紮在了一個不存在的地方，丹口，結果跟曹真那一路一樣，遇到
大雨班師回朝。
這司馬懿是怎麼做到的，不是帶著軍隊翻山越嶺就是帶著軍隊挖出一個隧道，然後還駐紮
在一個不存在的地方，看來司馬懿是真的會魔法。