We prove a conjecture of Gromov about non-free isometric immersions.

中文翻译：

---

格罗莫夫猜想在度量诱导算符的无穷小可逆性上的证明

我们证明了Gromov关于非自由等距浸入的一个猜想。