
$\sigma_\infty
  (2^{r_1 -1} k + n_1 ) = \sigma_\infty
  (2^{r_1 -1} k+ n_2 )$
