Ejemplo 3.12.