Let be a Well-ordered set and s.t. for every , if for all , then . Then Proof If not, then let . Then for , we have by choice of . By assumption on , we have .