theorem :: XPRIMES0:958

not 958 is prime