Von Neumann Double Commutant Theorem