Redirecting to Von Neumann bicommutant theorem