સમય જતાં, આ પ્રયોગમૂલક (પ્રયોગમૂલક સૂત્ર) "હસ્તગત" સાબિતી આધાર અને ચોક્કસ સૂત્રો દ્વારા બદલવામાં આવે છે.