>>743 >>672=>>651
651 は、どういった証明になるんですか?