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

three applications of the deduction theorem מתח
.מָתֵי	трёхкратное применение теоремы дедукции (ssn)