e267092ecf6ca816.tex
1: $;
2: 	\Until{Local convergence of $