Ejemplo 4.8.1.