theorem :: XPRIMES0:1022

not 1022 is prime