Ejemplo 5.2.6.