Tighter Performance Theory of FedExProx