theorem :: XPRIMES0:1995

not 1995 is prime