>>238
A^2=B^2 ⇔ A=BまたはA=-B だから、A≠-B が保証されていれば A^2=B^2 が A=B の代用になる。