コンパクト単連結可微分3次元多様体はS^3に同相だけど,
微分同相かどうかはわからないんですか?