>>162
あなたが数理論理がわからないので、>>157が証明になってることもわからないんだと思いますけど