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