Phiên bản của Euclid nói rằng, "Nếu một đường thẳng cắt hai đường thẳng khác sao cho tổng các góc trong cùng phía trên cùng một bên của đường thẳng cắt ngang nhỏ hơn 180 độ THÌ các đường thẳng sẽ cắt nhau ở phía đó và do đó chúng không song song nhau." 