其中B/A为不可约表示，其最高权为μ。则存在非零态射formula_87。推论：设formula_92为二最高权表示。若则存在非零态射formula_87。
伯恩斯坦-盖尔芳特-盖尔芳特 分解.设formula_95为李代数formula_4的一有限维不可约表示，其最高权为λ。我们已知：存在非零态射若且仅若，在其Weyl羣的Bruhat次序中，以下定理描述如何分解formula_95成Verma模的正合序列。（此定理出现于 伯恩斯坦-盖尔芳特-盖尔芳特1975年的