Puede probarse que una variedad riemanniana o pseudoriemanniana formula_139es localmente isométrica al espacio euclídeo si y sólo si su tensor de curvatura de Riemann se anula.