theorem :: XPRIMES0:1388

not 1388 is prime