Propriété sur l'orthogonalité des diagonales du losange

On veut démontrer: 
Un quadrilatère est un losange
hypothèse: 

Si un parallélogramme a ses diagonales perpendiculaires

conclusion: 

Alors c'est un losange