  The main result of this paper is a characterization of properly infinite
injective von Neumann algebras and of nuclear C*-algebras by using a uniqueness
theorem, based on generalizations of Voiculescu's famous Weyl-von Neumann
theorem.
