Ejemplo 15.1.2.