Stone–von Neumann theorem

CCR [x,p]=iℏ has essentially unique irreducible unitary representation on L²(ℝ) up to unitary equivalence. Fails for infinitely many DOF (QFT).