theorem :: XPRIMES0:1985

not 1985 is prime