S^1でも非同型なんか?