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?