Zwei kompakte zusammenhängende zweidimensionale topologische Mannigfaltigkeiten sind schon dann topologisch äquivalent, wenn ihre Fundamentalgruppen isomorph sind.