Énoncé d'Euclide # 19

Si une droite coupe deux droites parallèles, alors les angles alternes-internes, alternes-externes et correspondants sont respectivement isométriques.