実数の積の性質:再調整

実数における積の性質。またミス発見。再度訂正。