triangle rectangle et angle droit

On veut démontrer: 
Perpendicularité de deux droites
hypothèse: 

Si un triangle est rectangle

conclusion: 

alors il a un angle droit