theorem :: XPRIMES0:1434

not 1434 is prime