More lemmas about contraction