Ejemplo 11.4.1.