I posted a thread about modular math but this has a different application.
Suppose that a*b = 0 (mod n), and that a and b are positive integers both less than n.
Does it follow that either a|n or b|n? If so, why? If not, is there an example providing the contrary?