Variance Reduced ProxSkip: Algorithm, Theory and Application to Federated Learning