PanLinx
русский
rus-000
доказывание с помощью прямых доказательств
English
eng-000
direct proof
PanLex
