Letf(x, y) be a polynomial defined overZin two variables of total degreedgreater-or-equal, slanted2, and letVp={(x, y)set membership, variantCp: f(x, y)≡0 (mod p)} for each primep, whereCp={(x, y)set membership, variantZ2: 0less-than-or-equals, slantx