Theorems in Riemannian geometry