S^3は可縮じゃないよな orz
フレーム束 FM の構造群がS^3で単連結だから、自明束になるからだよな。