I don't quite know where to start with this one:
"A natural number p>1 is called irreducible if it has the property that, for any natural numbers a and b, p|ab always implies that either p|a or p|b (or both).
Prove that if a natural number p>1 is irreducible, then it also has the property...