https://profilpelajar.com/en/Well-ordering_theorem