theorem :: XPRIMES0:1014

not 1014 is prime