theorem :: XPRIMES0:1398

not 1398 is prime