Понимание цикла с постусловием в языке программирования Паскаль