A new proof of the possibility of well-ordering