for i, j being integer number
for p being natural prime number holds
( not p divides i * j or p divides i or p divides j )