Rectangle, losange et carré

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

Si un quadrilatère est un rectangle et un losange

conclusion: 

alors c'est un carré