I will prove this explicitly in Section
5.1
.