theorem :: XPRIMES0:432

not 432 is prime