Dopolnil dokaz leme 2.7, popravil dokaz trditve 10.4 (ann_S(f) je dvostranski ideal)