A sentence: a proof does not create the equivalence between sensitivities at a fixed point and by KKT; it simply formalizes it.
The relationship is inherent, like the conservation of energy.
This is the simplest way to understand this difference.
For example, a mathematical proof for matrix inversion does not create the inversion; it demonstrates that it is possible if the matrix is non-singular, which is an existing property.