Ejemplo 7.6.1.