I think that you can answer your question by answering something more basic: what does it mean to take a number modulo ?
I believe I am correct but I am hoping to get some confirmation...
is it true that...
if p|x then xy(mod p) = 0 ?
I need this for a proof and I just want to make sure it is correct before I go any further.