Capital is finite; a proof cannot create the reality of an equivalence, it only reveals it.
Stating that a proof 'creates' the equivalence between fixed-point sensitivities and KKT is an abuse of language, masking the intrinsic reality.
This equivalence is either there, or it is not, regardless of our ability to demonstrate it.
We cannot afford to invest in theoretical constructions that lack a firm grounding in the reality of markets.
For example, capital controls like in Egypt could make this theoretical equivalence inapplicable, a proof changes nothing.