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

доказательство перебором всех возможных значений переменных מתח
.טֶכנו	proof by exhaustion