A generalization of contraction principle. (1981)