12.7 Cominciamo col dimostrare la prima uguaglianza, cioè cioè
(si renda conto il lettore di ciò, ricordando che per definizione ove e )
Si ha dunque e ciò conclude la dimostrazione della prima uguaglianza; si noti che segue dalla definizione di traslazione, mentre segue da esercizio 12.4.
Rimane da dimostrare la seconda uguaglianza, cioè .
Si ha

e ciò conclude la dimostrazione della seconda uguaglianza; si noti che per definizione di traslazione e da esercizio 12.6.