Оператор цикла с
предусловием организует выполнение операторов заранее
неизвестное число раз. Выход из цикла осуществляется, если некоторое
логическое выражение окажется ложным. Так как истинность логического
выражения проверяется в начале, тело цикла может не выполнится ни разу.