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