>>426
Xが複素曲面の場合は正しいが、3次元以上ではX^[n]は必ずしも多様体にはならない