ルジャンドル予想の否定になる仮定が双方で異なるなら
少なくともどちらかの側がルジャンドル予想の背理法に証明としては不適切

これはオーケー？→高木くん