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

prove the absence of constraint errors מתח
.תִכנו	выполнить доказательство отсутствия ошибки выхода за ограничение (корпорации AdaCore Alex_Odeychuk)