is obviously a homomorphism. To verify it induces a homomorphism between the homology groups, we need only to show ~ 0, that is maps boundary chains to boundary chains. This is only a straightforward computation:

It is easy to verify that , just write down and you can verify that.

So we have

~ 0, we're done