theorem :: XPRIMES0:1432

not 1432 is prime