theorem :: XPRIMES0:1396

not 1396 is prime