Ce lemme n'est pas au programme, donc vous devez le démontrer avant de l'utiliser. Sa démonstration est à connaitre sur le bout des doigts...
Leçons concernées : 201, 242, 401, 403