Contractive mapping theorem

Summary