|-1|^2を(-1)^2と定義してるだけ

証明なんて後付け