Provably Doubly Accelerated Federated Learning: The First Theoretically Successful Combination of Local Training and Compressed Communication. - Laurent Condat; Ivan Agarský; Peter Richtárik (CoRR, 2022)