Jim Nastos wrote: > Professor Gould, > my apologies: I didn't notice that the well-orderedness of the reals > was an axiom-of-choice equivalence, so my objection is withdrawn. > J > > OKAY, THANKS, ANYWAY YOU WANT IT! My original proof still stands? Henry