Does it really need to be proved? I'd argue that it's a mathematical/logical truth in principle, and that the only thing that requires proof is whether this pa

Does it really need to be proved? I'd argue that it's a mathematical/logical truth in principle, and that the only thing that requires proof is whether this particular implementation is successful at what it aims to do.