Именно эта возможность создавать программные единицы, неправильность которых можно доказать, является главной ценностью структурного программирования.