theorem :: XPRIMES0:1392

not 1392 is prime