Von_Neumann_bicommutant_theorem loading ...