Lemma 32.4:

The map $ \Pi_X$ given by (32.4) is surjective.

nisha 2012-03-20