Une démonstration directe de ce résultat est donnée ci-dessous.