theorem :: XPRIMES0:949

not 949 is prime