Ordering on 1-Based Natural Numbers is Transitive

Theorem
Let $\N_{> 0}$ be the $1$-based natural numbers.

Let $<$ be the strict ordering on $\N_{>0}$.

Then $<$ is a transitive relation.

Proof
Let $a < b$ and $b < c$.

Then: