Borel–Weil theorem