>>839
> 1里=80mは計測ミスったんだろって可能性を原理的に排除できない

では、短里は無理に認める必要はないから、1里=80mで計測をミスした前提で議論を進めようか