Rectangles et angles droits

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

Si un quadrilatère est un rectangle

conclusion: 

alors il a tous ses angle droits