El teorema del programa estructurado proporciona la base teórica de la programación estructurada.