[Sniffnoy]

Yes, that's the point -- Euclid's proof doesn't require that, it works like you said; but it's a widespread misconception that it does work that way. It's a counterexample to the misconception, not to the real proof.