A partir du diagramme

on a et .

Or , d'où la relation .