Proof that every set can be well-ordered