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