theorem :: XPRIMES0:1986

not 1986 is prime