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