theorem :: XPRIMES0:418

not 418 is prime