Sav(Pappus): Eğer A, B, C bir doğru üzerindeki üç nokta ve a,b,c de başka bir doğru üzerinde üç nokta ise, o zaman Ab ve aB, aC ve Ac, Bc ve Cb doğrularının kesişim noktaları X,Y,Z yine bir doğru üzerindedir(=:doğrudaştır).
Kanıt (Öklid geometrisi): Öklid geometrisinin sınırları içerisinde kalıp şekildeki gibi
gibi U,V,W noktalarını eklenmesiyle ortaya çıkan △UVM üçgenine YcA, CZb, aBX, CBA ve acb nokta üçlüleri için Menelaus teoremini(örneğin bkz.) uyguyalım:
VYYW⋅WccU⋅UAAV=−1
VCCW⋅WZZU⋅UbbV=−1
VaaW⋅WBBU⋅UXXV=−1
VCCW⋅WBBU⋅UAAV=−1
VaaW⋅WccU⋅UbbV=−1
Şimdi ilk üç denklemin sol taraflarının çarpımını son üç denklemin sol taraflarının çarpımına bölelim ve tabiki de sağ taraflarla da aynı şeyi yapıp şu denkliği bulalım:
VYYW⋅WZZU⋅UXXV=−1
Buna, Menelaus teoremin tersi uygulandığında X,Y ve Z noktalarının doğrudaş olduğu çıkar.