Sum of Strictly Positive Real Numbers is Strictly Positive

Theorem

 * $x, y \in \R_{>0} \implies x + y \in \R_{>0}$