PanLinx
русский
rus-000
доказательство путем перебора вариантов
English
eng-000
proof by enumeration
PanLex
