Federated Unlearning With Diffusion Models Math