Ejemplo 11.4.2.