theorem :: XPRIMES0:1424

not 1424 is prime