R ∶ T V ∷

a b

b

V—

a

R′ ∶ M V ∷

a

R ∶ T V[eqn ix].

But by construction,