Prouver que deux distances sont égales... 
Sachant que :

Propriété 9

"puisque tous les côtés d'un carré sont de même longueur..." 

J'en déduis que :
Pour l'utiliser, il faut :
 Deux côtés d'un carré...