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

the rest of the proof is now more or less straightforward מתח
.מָתֵי	остальная часть доказательства проводится уже более или менее просто; остальная часть доказательства уже более-менее очевидна