This feels very suspiciously like a finite field problem.