theorem :: XPRIMES0:195

not 195 is prime