## Mickey Mouse Sphere Theorem

The Mickey mouse theorem assures that a connected positive curvature graph of positive dimension is a sphere.

The f-function of a graph minus 1 is the sum of the antiderivatives of the f-function anti-derivatives evaluated on the unit spheres.