実数の積の性質

実数における積の性質をリニューアル。