A weak convergence result useful in robust autoregression