Теория:
Структура цикла в постусловием.

Общий вид конструкции:

Алгоритм выполнения цикл-ДО:
- выполняется тело цикла;
- далее проверяется условие, если условие ложно, то опять выполняется тело цикла и повторная проверка условия;
- если же условие истинно, то цикл считается выполненным.
В любом случае тело цикла будет выполнено хотя бы один раз.