>>578
いや論証に穴がないなら、論証は成功してる。
穴があることは示されてないから、証明は終わってる。