1: $.

2: \end{restatable}

3: %

4: 

5: \cref{thm:exploration_convergence} shows that $