PanLinx
English
eng-000
which was to be proved
русский
rus-000
что и требовалось доказать
PanLex