Little's lemma