＞一番嗤えるのはking以外誰も10が最短であることの証明をしていないのに・・・、

そうですか。こいつも証明ですか。

この問題は、証明ができなきゃ、答えがわからないのですね。