1: $ in Claim \ref{fixed.point.convergence.lemma.C3}  to conclude

2: $