You seem to be confusing the causal arrow with the logical arrow. As endoself points out here proofs logically imply their theorems, but a theorem causes its proof.
You seem to be confusing the causal arrow with the logical arrow. As endoself points out here proofs logically imply their theorems, but a theorem causes its proof.