Consider the following statement: Let X be a set with a choice function. Then every well-founded relation on X can be extended to a well-ordering of X. Is there a proof of the statement in the literature? I would expect that a proof of Zermelo's theorem can be extended to a proof of the statement. Gert Smolka