theorem :: XPRIMES0:1018

not 1018 is prime