theorem :: XPRIMES0:1005

not 1005 is prime