Доказательство правильности программ. Структурное программирование Пример использования структурированных данных