A theorem which specifies the structure of the generic unitary representation of the Weyl relations and thus establishes the equivalence of Heisenberg's matrix mechanics and Schrödinger's wave mechanics formulations of quantum mechanics.
References
Neumann, J. von. ``Die Eindeutigkeit der Schrödingerschen Operationen.'' Math. Ann. 104, 570-578, 1931.