main theorem

Мат. основная [главная] теорема