Ejemplo 10.5.2.