Ordering Principle/Proof 2

Proof
This theorem follows trivially from the Order-Extension Principle.