হিসাবের গাণিতিক শুদ্ধতা যাচাই করা হয় কি দ্বারা?