theorem :: XPRIMES0:982

not 982 is prime