Prouver que deux droites sont perpendiculaires... 
Sachant que :

Propriété 4

"puisque tous les côtés consécutifs d'un carré sont perpendiculaires..." 

J'en déduis que :

Pour l'utiliser, il faut :
 Deux côtés consécutifs d'un carré