PanLinx
русский
rus-000
регулярное доказательство
English
eng-000
regular demonstration
PanLex
