theorem :: XPRIMES0:1421

not 1421 is prime