Если в предложении WHILE логическое выражение является ложным с самого начала, то циклическая часть программы не будет выполняться.