به نام خدا.
طبق تعریف همنهشتی می دانیم که:
$m | a-b, \space m | c-d$
چیزی که قرار است ثابت شود این است که
$m | ac-bd$
می توان نوشت:
$m | a-b \Longrightarrow m | c(a-b)=ac-bc$
$m | c-d \Longrightarrow m | b(c-d)=bc-bd$
پس :
$m | (ac-bc)+(bc-bd)=ac-bd \Longrightarrow ac \equiv bd \space (mod \space (m))$