The overview often clarifies details: a proof demonstrates relationships, it does not create them.
The equivalence of sensitivities between fixed-point methods and KKT exists independently of its proof, which is a mathematical formalization.
It's like actuarial analysis for a pension fund: it reveals the financial state, rather than creating it, enabling controllable management.