Ejemplo 3.13.