Does a mathematical proof truly create an equivalence, or does it only reveal it? The distinction is crucial for decision-making. The equivalence of sensitivities between fixed points and KKT sensitivities existed before the proof, which is merely a formalization. Thinking otherwise misleads about the nature of inherent risks. We must focus on proofs that unveil existing truths, like the actuarial results of AP7.