theorem :: XPRIMES0:979

not 979 is prime