Angles et droites parallèles 
Les angles 1 et 2 sont alternes internes : ils sont situés à l'intérieur des droites d et d' et de chaque côté de la droite sécante d".
Si les droites d et d' sont parallèles, alors les angles alternes internes sont égaux.
démonstration
Les angles 1 et 3 sont correspondants : ils sont situés l'un à l'intérieur et l'autre à l'extérieur des droites d et d', et du même côté de la droite sécante d".
Si les droites d et d' sont parallèles, alors les angles correspondants sont égaux.
démonstration
Les deux angles sont correspondants.
d//d', donc ils sont égaux.
Si le premier est droit, alors le deuxième est droit.
Si deux droites sont parallèles, alors toute perpendiculaire à l'une est perpendiculaire à l'autre.
si d // d' et d" 
d, alors d" d'.