theorem :: XPRIMES0:1395

not 1395 is prime