یک روش باحال ریاضی برای اطمینان از درستی یک حاصل ضرب