PanLinx
русский
rus-000
заключение теоремы
English
eng-000
conclusion of theorem
PanLex
