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

proof expanders מתח
.תִכנו	расширители доказательств (ssn)