by definition. That's our key.
For the proof, we will use the following lemma:
Proof of the lemma:
So now we know that lemma is true, we can use it to conclude that:
Looking at the right hand side, we have:
(using our key assumption)
So we conclude that