Von_Neumann_double_commutant_theorem loading ...