“…The decomposition rule of the subdifferential remains to be proved as stated in the first equality in (15). Exploiting [Corollary 10.9] 40 combined with
and
, we get the inclusion
By imitating the proof of expression (23) in Reference
48 (Theorem 1), the required conclusion is obtained by
This completes the proof.…”