angle droit et triangle rectangle

On veut démontrer: 
Un triangle est rectangle.
hypothèse: 

Si un triangle a un angle droit

conclusion: 

alors c'est un triangle rectangle