theorem :: XPRIMES0:1007

not 1007 is prime