Von Neumann double commutant theorem