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