Contraction mapping theorem

Summary