גרמנית ⇄ אנגלית +

Substitutionstheorem n
.כַּלְ	substitution theorem