(\[VerticalSeparator](Subscript[ϕ, DI 3]^((3)))⟩≡(∑_(j=1)^(M-2))(Subscript[a, 3j]^((3)))\[VerticalSeparator](Subscript[ϕ, 3j])⟩=(C^((2)))(C^((1)))\[VerticalSeparator](Subscript[ϕ, DI 3])⟩(18))