Prouver que deux droites sont parallèles... 
Sachant que :

Propriété 9

"puisque deux angles alternes externes ne sont égaux que s'ils sont définis par deux droites parallèles..." 

J'en déduis que :
Pour l'utiliser, il faut :
 Deux angles alternes externes égaux