Me when calculating the fundamental groups doesn't prove two spaces arent homotopy equivalent and I have to move on to homology, cohomology and higher homotopy groups.