Imagine this: the idea that a proof 'creates' the equivalence of sensitivity is a fiction, a character that attributes too much power to itself.
A proof only reveals a scene already existing in the mathematical fabric, like an actor discovering their role rather than inventing it from scratch.
It illuminates the arc of a connection between fixed points and KKT sensitivities, it does not manufacture it ex nihilo.
This is the difference between an architect's plan describing the physics of a bridge and the physics itself that allows the bridge to stand.
Investors in Japan know this: confidence in models is strong, but the underlying reality always guides the market dynamics, it is not created by our demonstrations.