theorem :: XPRIMES0:434

not 434 is prime