working more on proofs of contractiveness of operators.