Pour achever la preuve du Théorème 2, on utilise les résultats auxiliaires suivants





et