は0の周りの小さな開近傍uであってそこでfがファイバーバンドルとなるようなものが存在することを保証する。