This result could not be intuitively simpler, yet it depends on the axiom of choice for its truth!

Let

be the set of all equivalence classes under the relation ~ on(More precisely, it is the axiom of choice that guarantees the existence of an injective function

, from which we set .)]]>