Reduction modulo a prime