La résolution des relations précédentes conduit au résultat suivant :