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

доказательство в замкнутой форме מתח
.מָתֵי	the proof we present is self-contained