Kieth Lemma

@KiethLemma