Ejemplo 2.4.4.