PanLinx
русский
rus-000
предварительная теорема
English
eng-000
preliminary theorem
PanLex