wigner/sm: changed indices in the proof according to a general notation style
wigner/mm: added more explanations, fixed notation and style