We generalize a theorem of R. Thomas, which sometimes allows one to tell by inspection that a finitely presented group G is infinite. Groups to which his theorem applies have presentations with not too many more relators than generators, with at least some of the relators being proper powers. Our generalization provides lower bounds for the ranks of the abelianizations of certain normal subgroups of G in terms of their indices. We derive Thomas's theorem as a special case.