=+9. (113) Let (Q, X, T) be a T-generalized state machine . Define - on X+ by Vx, y E X+, x - y if T+ (p, x, q) =T+ (p, y, q) Vp, q E Q. Prove