Ejemplo 5.2.5.