Your move, brainlet

>en.m.wikipedia.org/wiki/Well-ordering_theorem
How can this be true? The theorem says that every subset of a set must have a least element, but there are sets of the real numbers with no least element.

See >Keypoint being: compatible with the structure.
The Well-ordering theorem says there exists a well ordering. You're talking about a particular order on the reals, and there's no need for it to be a well-order.

I see. Thanks, user

the hypotenuse can't be shorter than either of the two remaining sides.