theorem :: XPRIMES0:95

not 95 is prime