theorem that the closure (under either the weak or strong operator topologies) of a unital *-algebra of bounded operators on a Hilbert space coincides with its bicommutant
