for a being non trivial Nat
for p being prime Nat st p > a holds
( not p divides a & not a divides p )