theorem :: XPRIMES0:1430

not 1430 is prime