britton’s lemma