Ejemplo 13.2.1.