PanLinx
беларуская
bel-000
адваротная тэарэма
русский
rus-000
обратная теорема
PanLex
