Cas n° 1
Si deux droites sont parallèles (xx') // (yy'), alors les angles correspondants xÔt' et yÔ't' déterminés par une sécante (tt') ont la même mesure.
Cas n°2
Si deux droites sont parallèles (xx') // (yy'), alors les angles alternes-internes yÔ't et t'Ôx' déterminés par une sécante (tt')ont la même mesure.
Etant donné que les deux angles alternes-internes n'ont pas exactement la même mesure on peut affirmer que les droites (yy') et (xx') ne sont pas parallèles.
