theorem :: XPRIMES0:1016

not 1016 is prime