Ejemplo 2.5.1.