ping-pong lemma

theorem about sufficient conditions for ensuring that that several elements in a group acting on a set freely generate a free subgroup of that group