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