Добавлены леммы cond_div_lem, cond_div_lt_lem, cond_odd_div_lem