C∞-多様体Vにはめ込まれた部分多様体X, Yがintersect cleanlyとは、 X∩Yの各連結成分ZがVのはめ込まれた部分多様体になっており、さらに TZ = TX|Z ∩ TY|Z となっていること。 以下、dim X + dim Y = dim Vかつ、X∩Yがただ一つの連結成分Zからなっているもの…