theorem :: XPRIMES0:1068

not 1068 is prime