theorem :: XPRIMES0:980

not 980 is prime