The approval to assert that a proof 'creates' the equivalence is a shortcut that prevents us from a precise understanding.
A proof establishes or demonstrates a relationship, but it does not generate it ex nihilo, which has implications for compliance.
For ASIC in Australia, the validation of a method depends on its robustness and objective existence, not on its 'creation' by a document.
If this equivalence were truly 'created' by the proof, it would raise serious questions about all pre-existing methods and would require costly regulatory re-evaluations.
For example, in managing superannuation portfolios, we must absolutely know whether this proof reveals an objective truth or proposes a conceptual framework that requires formal approval before any application.