[blu42]

Doh, my reading balked at the embedded add. Yes, p being a prime actually inverts the statement successfully. My bad.