Theorem 11.1:

Homotopy is an equivalence relation.

nisha 2012-03-20