PanLinx
русский
rus-000
доказанное равенство
English
eng-000
proved equation
PanLex