theorem of choice

Мат. теорема выбора