theorem :: XPRIMES0:1389

not 1389 is prime