Циклы в информатике: что такое цикл с постусловием?