If \((\mu _s)_{s\in S}\)  is a sequence, Theorem REF  is, in fact, [1]} (cf. also [2]}, [3]}). The proof of [1]} can be generalized to the case where \((\mu _s)_{s\in S}\)  is a net, by use of [5]} and [6]}.
