Well-Ordering Theorem