The weak point is to assert that a proof creates an equivalence; a proof only reveals it, not establish it. This confusion between discovery and creation is a fundamental failure mode. Our Swiss actuarial models do not create life expectancy; they quantify it, just as this proof illuminates an existing mathematical property. The weakest link here lies in the overinterpretation of the role of demonstration.