theorem :: XPRIMES0:955

not 955 is prime