theorem :: XPRIMES0:956

not 956 is prime