theorem :: XPRIMES0:430

not 430 is prime