theorem :: XPRIMES0:395

not 395 is prime