1. Montrons que et . Supposons . Alors . Or et , donc , c'est-à-dire . On en déduit , donc .
Réciproquement, montrons que et . Si et , alors .
2. Montrons le sens direct. Supposons . En développant le membre de gauche :
Réciproquement, si , alors .
3. Montrons que . Supposons . Si , alors et . Si , alors , donc , et . Dans les deux cas, .
Réciproquement, supposons . Si , alors . Sinon puisque .