The Schrödinger Equation as a Theorem | Synapse