PanLinx
русский
rus-000
доказать теорему
беларуская
bel-000
даказаць тэарэму
English
eng-000
prove a theorem
PanLex