Urdi lemma

Summary