Isn't it clear that creation is an aspiration, and not an established fact in pure logic? We can categorize this into two families: raw existence and contextual dependence. The proof merely formalizes a relationship that can be countered by exogenous factors, for example, unforeseen changes in tax regulations that alter optimization parameters.