1: $ in Claim \ref{fixed.point.convergence.lemma.C2}  to get

2: $