theorem :: XPRIMES0:1017

not 1017 is prime