Theory of muon spin relaxation due to the hopping of positive muons in ferromagnets