Suite de la démonstration.