Ejemplo 3.15.