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

Мат. finiteness lemma