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