I will prove this explicitly in Section 5.1.