אנגלית ⇄ רוסית +

proof by enumeration מתח
.מָתֵי	доказательство путём перебора вариантов