>>1
ところで

自然な射影f:S^(2m+1)->CP[m]が滑らかな埋め込みである

がわかんない、どうやったらいい?