PanLinx
русский
rus-000
доказанный прямыми доказательствами
English
eng-000
directly proved
PanLex