linearity of is easy

so is multiplicativity

so is preservation of the adjoint

This shows that is indeed a *-homomorphism

To show that is a homotopy we need to be a little more creative

suppose in another rank-one projection then there exits unitary element such that

now let and let us consider what is happening at t=0

now consider what is happening at t=1