Выбрав цикл с .... , вы будете уверены в том, что команды из тела цикла выполнятся хотя бы 1 раз.
что бы команды были гарантированно выполненны по крайней мере один раз нужно использовать цикл с постусловием Repeat
repeat
операторы
until условие