Ejemplo 15.1.1.