絶対値の性質「|x|^2 ＝ x^2」

絶対値の性質「|x|^2 ＝ x^2」の証明を更新。