The axiom of choice implies the well ordering principle

A new note, containing a proof of the well ordering principle from the axiom of choice, using the principle of transfinite recursion, is now available in pdf-form.