  This paper investigates Voiculescu's theorem on approximate equivalence in
separable properly infinite factors. We establish the norm-denseness of the set
of all reducible operators and prove Voiculescu's bicommutant theorem.
Additionally, we extend these results to the multiplier algebras within
separable type $\mathrm{III}$ factors.
