આ પરિણામ કહી શકાય "શુદ્ધ અસ્તિત્વ પ્રમેય".