theorem :: XPRIMES0:1023

not 1023 is prime