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

default loop invariant מתח
.תִכנו	инвариант цикла по умолчанию (adacore.com Alex_Odeychuk)