show/hide this revision's text 1 [made Community Wiki]

Verma proved that the multiplicities of all simple modules in a verma module are 1 or 0. When BGG tried to repeat his proof for some other case they found an error. This led to the study of multiplicities in category O etc.