where \(Id\)  is the \(r_1\times r_1\)  identity matrix (in general we use \(Id\)  to denote the identity matrix of `appropriate dimension', appropriate depending on the context).
[1]} prove the following time-uniform convergence theorem for the mean.
