Puede demostrarse que cualquier espacio geométrico o variedad de Riemann cuya curvatura es nula es localmente isométrico al espacio euclídeo y por tanto es un espacio euclídeo o idéntico a una porción del mismo.