0PDM Proof. The surjectivity of C/∼′→G/∼C/\!\sim^{\prime}\ \to G/\!\sim\ is given by Lemma 8.2.10. The injectivity follows from Lemmas 8.2.12 and 8.2.15. ∎