theorem :: XPRIMES0:1098

not 1098 is prime