Riemannian theory