Non-Zero Natural Numbers under Addition form Semigroup

Theorem
Let $\N_{>0}$ be the set of natural numbers without zero, that is:
 * $\N_{>0} = \N \setminus \left\{{0}\right\}$

Let $+$ denote natural number addition.

The structure $\left({\N_{>0}, +}\right)$ forms a semigroup.

Proof
This is a specific instance of Natural Numbers Bounded Below under Addition form Commutative Semigroup.