Prove Hartog's Lemma that for any set $x$ there is an ordinal $\alpha$ which cannot be mapped injectively into $x$.

Now assume the Axiom of Choice. Prove Zorn's Lemma and the Well-ordering Principle.

[If you appeal to a fixed point theorem then you should state it clearly.]