V are alternate triangles,

a

R′ ∶ M V ∷

a b

b

V[eqn viii].

And it has just been shown that also

a