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 .