theorem :: XPRIMES0:429

not 429 is prime