Remark 37.3.1.label The Kaplansky Density Theorem should also apply to the unitary case. Unfortunately, it seems like that the Borel functional calculus is required for an easier proof, so it will be postponed for now.