theorem :: XPRIMES1:431

431 is prime