Ejemplo 5.2.2.