(related to Corollary: Order Relation for Natural Numbers is Strict Total)
The trichotomy of the order relation for natural numbers follows from its definition and the trichotomy of comparing natural numbers using the concept of addition. The transitivity has been already proven in a corresponding proposition.
