Ejemplo 5.2.8.