>>31
いや、正しいかどうかがわかった時点で証明終わりですからw