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

the proof of the theorem is finished מתח
.מָתֵי	что и заканчивает доказательство теоремы