It is time to clarify: a proof does not create an equivalence, it establishes or demonstrates it.
This distinction is fundamental for the governance of our pension funds in Sweden, where traceability is paramount.
The equivalence between the sensitivities of fixed points and KKT conditions has always existed; the proof only reveals it.
Confusing these concepts weakens our ability to commit to robust models, essential for the stability of portfolios.
For example, the law of gravity existed before Newton; he did not create it by demonstrating it.