Moreover, as shown in [1]}, the equality happens in (REF ) if and only if \(\pi \)  has non-zero Dirac cohomology, and in this case, it is exactly the spin-lowest \(K\) -types of \(\pi \)  that contribute to \(H_D(\pi )\) .
