Margulis lemma