Большой англо-русский словарь (с транскрипциями) PROOF by enumeration мат. доказательство путем перебора вариантов