maximality theorem

Мат. теорема о максимальности