Ejemplo 5.2.1.