Rigorous results on the local equilibrium kinetics of a protein folding model