Double commutant theorem