every program has at~least one bug .
Every non-trivial program has at~least one bug .
в каждой программе есть по крайней мере одна ошибка.
В каждой нетривиальной программе есть по крайней мере одна ошибка.