  Let G be a finite group acting freely on a compact oriented surface S by
homeomorphisms preserving the orientation. Then, there exists a G-invariant
Lagrangian subspace in the first homology group of S.
