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

лемма о порождении для отношения типизации מתח
.תִכנו	generation lemma for the typing relation (ssn)