theorem :: XPRIMES0:1391

not 1391 is prime