https://9lib.net/document/ozlv79gy-doubly-warped-product-submanifolds-riemannian-manifold-constant-curvature.html