theorem :: XPRIMES0:388

not 388 is prime