ثابت کنید میتوان دو طرف یک رابطه همنهشتی را در عددی صحیح ضرب کرد، به عبارتی دیگر، برای اعداد صحیح a,b,c و عدد طبیعیm، اگر a≡mb آن گاه ac≡mbc .