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