A combinatorial property of certain infinite groups