Strictly Positive Real Numbers are Closed under Multiplication/Proof 1

Proof
Let $a, b \in \R_{> 0}$

We have that the Real Numbers form Ordered Integral Domain.

It follows from Positive Elements of Ordered Ring that:
 * $a \times b \in \R_{> 0}$.