Добавлена теорема lt_cond_lem в пример о программе деления