Аксиомалардың салдары ретінде мынадай формула алуға болады:
Бұл формуланы былай қорытуға болады. Оқиғалар арасындағы айқын қатынастарды қарастырамыз:
Екі теңдікке де қосу ережесін пайдалансақ, екі сандық теңдік аламыз:
екеніне көз жеткіземіз.
-сандарының теріс еместігін пайдалансақ 
болады.
оқиғалары тоғысатын да, тоғыспайтын да болуы мүмкін.
. Екінші теңдіктен бірінші теңдікті шегерсек,
