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