theorem :: XPRIMES0:1393

not 1393 is prime