An important identity, that we still need to establish is
This identity will follow from the following Lemma.