Ejemplo 6.6.1.