PanLinx
русский
rus-000
теорема о максимальности
English
eng-000
maximality theorem
PanLex