for a being non trivial Nat ex n being prime Nat st n divides a