1: $.

2: 

3: 

4: 

5: 

6: 

7: \begin{theorem}[(Convergence as homotopical triviality)] %Let $