もうここには書かないって言ってるし証明失敗ってことで完全終了でよくないか?
成功する見込みもなさそうだし