  We prove that a large class of Paschke dual algebras of simple unital
C*-algebras are $K_1$-injective. As a consequence, we obtain interesting
$KK$-uniqueness theorems which generalize the Brown--Douglas--Fillmore
essential codimension property.
