sufficiently many irreducible unitary representations

• 充分多的不可约酉表示