theorem :: XPRIMES0:986

not 986 is prime