явная теорема

Мат. explicit theorem