Ejemplo 3.7.