ボレル・ヴェイユの定理
定理は1950年代初頭にまでさかのぼり、Serre & 1951-4 と Tits (1955) において見つけられる。