On the possibility of quantum diffusion of positive muons in solid helium