Patch to HW 4, problem 4.

You need to prove that
   a - 2c is equivalent to (-b)
mod q, rather than mod p.

Margaret