それは一万二千里を長里で解釈していたからだろ。
朝鮮半島もずっと長く認識していたのだろう。
でも実は短里だったんだ(陳寿は短里を知らなかった)。