Pour tout couple de , on considère .

Alors

et

donc .