Ejemplo 3.16.