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