Ejemplo 6.5.3.