Si formula_7 es positiva, entonces el universo es hiperesférico.