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