theorem :: XPRIMES0:1984

not 1984 is prime