Prouver que deux angles sont égaux... 
Sachant que :

Propriété 9

"puisque deux angles alternes externes définis par deux droites parallèles sont égaux..."

J'en déduis que :
Pour l'utiliser, il faut :
 Deux angles alternes externes
Deux droites parallèles