"A, B, C doğrudaş olmayan üç nokta ve d 'de bu noktaları içinde bulunduran düzlemde bir doğru olduğunda, eğer d doğrusu A, B ve C 'nin hiçbirinden geçmiyor ve [AB], [BC] ve [AC] kenarlarından birini kesiyorsa, öteki ikisinden birini de keser," önermesi.