Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Thank you, I had bad luck finding this with a few Riemannian geometry texts and I flipped through do Carmo's book and somehow missed this result, which is proven in the text.
