Ejemplo 5.2.7.