  In this paper we show that the `quantization commutes with reduction'
principle of Guillemin-Sternberg holds for the coadjoint orbits that
parametrize the discrete series of a real connected semi-simple Lie group.
