теорема о конечности

Мат. finiteness theorem