theorem :: XPRIMES0:1431

not 1431 is prime