theorem :: XPRIMES2:7789

7789 is prime