Category:Strictly Positive Real Numbers are Closed under Multiplication