Contractive mapping theorem