1: $.

2: % \een

3: % \end{assumption}

4: 

5: % \begin{prop}[Convergence of the loss function]

6: % $