Aksjomat Euklidesa
dwie proste równoległe przecięte trzecią prostą wyznaczają kąty odpowiadające równe