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

... and finally A > B, which finishes the proof of Theorem 1 מתח
.מָתֵי	и окончательно, A > B, что и заканчивает доказательство Теоремы 1