1
$\begingroup$

It's from a programming language. "%' here is a modulo operation.

(a * 2^32 + b) % c = (((a % c) * (2^32 % c)) + b) % c 
  • 0
    So, what you want to prove is that $a\cdot b(\mod c)=(a(\mod c)\cdot b(\mod c))(\mod c)$ and the same holds for addition, correct?2012-11-13
  • 0
    Mmm, probably right :) But I'm not a mathematician, so I would be glad to take a look at some basic articles on this theme.2012-11-13

1 Answers 1