実数における加法の性質

実数における加法の性質を更新。さっぱりと。