Well-Ordering is Total Ordering