1.1 Construction of the complex.
lemma 1.1.17
G_K' subset Intersection_M G_M implies that
(1) K^bar,H subset K^bar,G_K'=K'
on the other hand,
(2) K'=U K_M subset K^bar,H.
Hence K'=H.
