theorem :: XPRIMES0:1027

not 1027 is prime