Herhangi iki diferensiyellenebilir manifolddan Öklid uzaylar içerisine tanımlı iki immersiyonun tensör çarpım dönüşümünün, çarpım manifoldunun bir immersiyonu olması için gerek ve yeter şart bu immersiyonlardan en az birinin ...