Multiply the Karush-Kuhn-Tucker conditions on the right by and take the matrix trace:
Symmetry and the defining property of the subgradient of the absolute value give
Consequently the last two terms in the objective sum to , and hence