
This completes the proof of Lemma REF .

Theorem REF  depends on two results from the theory of maximally monotone multifunctions, Fact REF  and Fact REF . Fact REF , follows from the sum theorem,[1]}.
