theorem :: XPRIMES0:981

not 981 is prime