Lemma 32.2:

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

nisha 2012-03-20