theorem :: XPRIMES0:1015

not 1015 is prime