絶対値の性質 |xy| ＝ |x| |y|の証明

絶対値の性質 |xy| ＝ |x| |y|の証明を更新。