https://123dok.net/document/q2n74jmp-immersions-codimension-span-class-mathjax-formula-span-bords.html