=+6. If Mand M' are weakly equivalent, prove that V(q, x, y, q') E QxX* x Y* x Q, S* (q, x, y, q') > 0 if and only if ft

*

(q, x, q') Aw* (q, x, y) > 0.