theorem :: XPRIMES0:1983

not 1983 is prime