Es posible verificar que formula_15 es de hecho una medida exterior en formula_16.