PanLinx
русский
rus-000
эффективное доказательство
English
eng-000
effective proof
PanLex
