というかいまここで証明したって、さっきまでの時点で
未解決問題だったとしたらその事実は変わりないだろ。
すでに解かれている、ことを証明しなきゃ。