Von_Neumann_bicommutant_theorem