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

proof of correctness in terms of loop invariants מתח
.תִכנו	доказательство правильности в терминах инвариантов циклов (ssn)