>>355
FLTのおそらく世界最短別証明を公開しているので、以下を読んでから
戯言を書いてくれ。
https://mathlog.info/articles/6YV2n34NkJnCfioCPGdm