“…(This can certainly be done, as in the first paragraph of the proof, since any finite polarised complex is homotopy equivalent to a linear space form, see for example [9,Theorem 6].) Over the subgroups ( j, x 2 ' ) and (xy, x 2 ' ) v 2 reduces to the normal invariant of the unique linear space form with fundamental group Dg. The action defining this extends to Γ* and we are done.…”