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

application of the substitution theorem מתח
.תִכנו	приложение теоремы о подстановке (ssn)