Ejemplo 9.5.2.