Started working on equivalence between the torus and the product of the circle with itself.