Proof of the well-ordering of cardinal numbers