theorem :: XPRIMES0:424

not 424 is prime