Let G be a word-hyperbolic group, obtained as a graph of free groups
amalgamated along cyclic subgroups. If H2(G;Q) is nonzero,
then G contains a closed hyperbolic surface subgroup. Moreover, the
unit ball of the Gromov–Thurston norm on H2(G;R) is a
finite-sided rational polyhedron.