theorem :: XPRIMES0:1394

not 1394 is prime