completed key proof on contraction