= \nabla_{N(K)}\text{-}\deg(-{\operatorname{Id}}, B({\mathbb{V}}_{-\Delta}(\mu_k)^K\ominus{\mathbb{V}}_{-\Delta}(\mu_k)^G))\star\nabla_{N(K)}\text{-}\deg(-{\operatorname{Id}}, B({\mathbb{V}}_{-\Delta}(\mu_k)^K\ominus{\mathbb{V}}_{-\Delta}(\mu_k)^G))