theorem :: XPRIMES0:951

not 951 is prime