Добавлена лемма cond_not_lem