実数の加法の性質

実数における加法の性質の不具合を発見。些細だけども、修正。