Ejemplo 6.5.4.