A compact 2 dimensional surface without boundary is topologically homeomorphic to a 2 sphere if every loop can be continuously tightened to a point. The Poincare conjecture asserts that the same is true for 3 dimensional spaces | Photo