It is wise to focus on what is controllable, because asserting that a proof 'creates' an equivalence is an oversimplification.
A proof establishes an existing relationship, it does not generate it, which is a crucial distinction for practical application, especially when considering regulatory frameworks.
For example, for a DAO treasury, even if an equivalence is demonstrated, its use is conditioned by the directives of the CMVM in Portugal, not by the proof itself.
The discipline lies in recognizing that mathematical possibility does not guarantee regulatory permission.