絶対値の性質

絶対値の性質2の証明を、別ページに独立させてみる。