Твърдението "Всеки цикъл се изпълнява най-малко един път" не е вярно. Има някои цикли, които може да не се изпълнят дори един път, ако изразът във входната точка на цикъла е невярно. Това е типично за циклите `while` и `for` в програмирането. Ето един пример: ```python i = 10 while i < 1: print(i) i -= 1 ``` В този пример, условието на цикъла `while` е че `i` трябва да е по-малко от `1`. Но първоначалната стойност на `i` е `10`, което е по-голямо от `1`. Затова тялото на цикъла никога не се изпълнява. Ако изобразим този код като ASCII арт, това би изглеждало така: ``` start | v [i=10]--No-->(end) | v [i<1]--Yes-->[print(i), i-=1] ^ | |______________| ``` Тук виждаме, че програмата започва с `i=10`, проверява дали `i` е по-малко от `1`, и ако е така, изпълнява тялото на цикъла. Ако `i` не е по-малко от `1`, програмата просто прекъсва цикъла и продължава към края.