I ask here [the question][1] since it hasn't been answered in Math Stack Exchange. I am working through Greenberg and Harper, Lecture notes on Algebraic Topology, and I am having trouble with one exercise. I have spoken with a professor and he encouraged me to ask here or look for it in books since the exercise (which i will insert below) is related to 3-manifold theory, which isn't covered in the book and I have never studied it before. Here it goes what is explained on the book: [![h1][2]][2] [![h11][3]][3] [![h2][4]][4] [![h3][5]][5] I have managed to solve Exercise 21.29 and to prove Proposition 21.31 in an alternative way using Mayer-Vietoris (with some help: [here][6]). My problem is in Exercise 21.30 since I have no idea of how to start or how to deal with it. In the beginning I thought I could use Exercise 21.29 and see both [C] and [J] as the images of [C] by the isomorphism I showed in Exercise 21.29. And then all I had to do is to show that there are the same number of "windings" that "under-crossings", 2 of each. However, I think this procedure is not rigorous. I am afraid I can't show no more progress on the problem besides the idea above. I have been thinking for a few days but no more useful ideas have come to my mind. Any help would be appreciated, even if it consists on pointing me to a book or reference where I can find something related. And please I would really appreciate detailed explanations if you have any idea since this is the first time I deal with something like this. [1]: https://math.stackexchange.com/posts/1766875/edit [2]: https://i.sstatic.net/YguHZ.png [3]: https://i.sstatic.net/67W2s.png [4]: https://i.sstatic.net/pUGFA.png [5]: https://i.sstatic.net/A2iZR.png [6]: https://math.stackexchange.com/questions/1760313/homology-poincare-homology-sphere-by-mayer-vietoris