Ejemplo 4.8.2.