theorem :: XPRIMES0:1397

not 1397 is prime