main result

Мат. основной результат