PanLinx
русский
rus-000
прямая теорема
English
eng-000
direct theorem
PanLex
