added main theorem on contraction