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.