Организация циклов, никогда не приводящая к
остановке в выполнении алгоритма, нарушает требование его