That is what is called research in theoretical fields. Making hypotheses up and then proving implications of those hypotheses. In this case, it yields a falsifiable test: the theory claims the universe should have small positive curvature.