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

preceding the proof we introduce מתח
.מָתֵי	перед формулировкой теоремы мы введём