“…Then by the diagram version of [6, Theorem 1.1], we find that the four morphisms in the commutative diagrams of Theorem 4.5 are injective. e 0 = 1 n n + 1 2n 1 n n + 1 2n As in [6,7,21,22], The following can be verified. As in [6,7,21,22], we define STL(Q) is the subalgebra of TL(Q) generated by the σ-invariant submomoid of TLM(Q), where Q can be A 2n−1 , D n+1 or E 6 .…”