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: