theorem :: XPRIMES0:398

not 398 is prime