Ejemplo 11.4.3.