Primer leeme que le da identidad a lokustark