In mathematics contraction theorem may refer to: