Let and define
Claim
is contractible
Proof
Suppose then
Define by
by
and so on ...
applying the homotopy in the time interval , in the interval , in etc...
we get the desired contraction to the point .