Побудовано базис квантової універсальної обгортуючої алгебри U, за допомогою якого доведена теорема: для будь-якого ненульового елемента u ∊ U існує скінченновимірне зображення π таке, що π(u)≠0.
A basis of a quantum universal enveloping algebraU is constructed; the following theorem is proved with the help of this basis: For any nonzero element u ∊ U, there exists a finite-dimensional representation π such thatπ(u) ≠ 0.