PanLinx
русский
rus-000
доказательство не вызывает затруднений
English
eng-000
proof is straightforward
PanLex