theorem :: XPRIMES0:1981

not 1981 is prime