Talk:Ordered geometry

The statement of the Theorem (existence of parallelism) is wrong. To correct it, one must specify the limiting nature of those two rays asserted to exist.