https://123dok.net/document/z3d391k9-analytic-manifolds-mathjax-formula-parabolic-tangents-submanifold-codimension.html