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

Propriété 5

"puisque un triangle rectangle a deux côtés perpendiculaires..." 

J'en déduis que :

Pour l'utiliser, il faut :
Les deux côtés de l'angle droit d'un triangle rectangle