AFAIK the p itself should NOT be a prime number, see http://en.wikipedia.org/wiki/Decisio...ssumed_to_hold