実数の積

実数における積の性質を更新。