パラドックスだね
1=2でないことを証明するのは楽だけど・・