теорема об упорядочении

Мат. ordering theorem