Exercice n°2 : Démonstrations des théorèmes