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