theorem :: XPRIMES0:1028

not 1028 is prime