lemmas i a Urat t.