なるほど、やっとわかった
じゃあMは2n次元の向き付け可能な多様体じゃないとダメなんじゃないの？
なら元のCₚの構造なんか全然ダメやん
pのイメージでない開部分しゆうこには多様体の構造あるけどそれ2n-1次元やん