(a * b) mod c = [(a mod c) * (b mod c)] mod c