Less than


THEOREM   

The less than relation, for natural numbers, is transitive.

Proof available