suite de la démonstration