theorem :: XPRIMES0:995

not 995 is prime