It is time to set the record straight: a mathematical proof does not create an equivalence; it demonstrates it.
If the equivalence between fixed-point sensitivities and KKT conditions did not exist beforehand, then the proof would be invalid, not creative.
It is illogical to think that a proof invents a fundamental property, just as a new regulation by the FSC/FSS on crypto transactions does not create their volatility but seeks to manage it.
The equivalence is a preexisting characteristic that the proof reveals.
We must recognize the distinction: revealing is not creating.