表示の仕方が分からないので、
「a≡(not)0 (mod.p)」は、aをpで割った余りが0でない事を表す。

対偶：「f(x)≡(not)0 (mod.p)∧g(x)≡(not)0 (mod.p)
　　　　ならば
　　　　f(x)g(x)≡(not)0」
を示せばよいが、これは明らか。