A Semismooth Conjugate Gradients Method — Theoretical Analysis