Extension of the main theorem to all symmetrizable Cartan matrices
Let CCC be a symmetrizable generalized Cartan matrix, let DDD be a symmetrizer of CCC, and let H=H(C,D,Ω)H=H(C,D,\Omega)H=H(C,D,Ω), M=M(H)\mathcal{M}=\mathcal{M}(H)M=M(H), and n=n(C)\mathfrak{n}=\mathfrak{n}(C)n=n(C) b…