>>838
a=bだとa^2=-1になってaが実数であることに矛盾