0MUS Lemma 4.3. Under the assumptions of Proposition 3.6 we have that Hom(S,Σiμ):Hom(S,ΣiM)→Hom(S,ΣiM¯) is an isomorphism for i<1.
0MUT Proof: In Lemma 3.3, Hom(S,Σiμ):Hom(S,ΣiMk)→Hom(S,ΣiMk+1) is an isomorphism for i<1. Now apply Lemma 4.2. □