てかx^2=1ならばx=1って偽だろ。