球面とホモトピー同値な曲面は球面と同相である。(Poincare予想)