http://artema.fopf.mipt.ru/lib/lem/lem3.html (чтоб запомнить и заодно ссылка Урсе на всякий)