Septième partie
    Démonstration complète