theorem :: XPRIMES0:976

not 976 is prime