પ્રમેય સૂત્રો અથવા પૂર્વધારણા અલગ પડે છે, જે વ્યાખ્યા દ્વારા સાબિતી જરૂરી છે.