if ab\equiv 0 (mod p), then a\equiv 0 (mod p) or b\equiv 0 (mod p).

Printable View