theorem :: XPRIMES1:643

643 is prime