You can prove is a well ordering using that is a well ordering.

Let be a non empty subset of Then is a non empty subset of which has a least element for

Consider which is also a non empty subset (why?) of Once again, it has a least element for let say

Prove that is the least element for in