Тождество с факториалами

[Kitonum]

Подскажите, пожалуйста, как доказать тождество

$\big\sum_{i=1}^{n_0-n_1}\frac{(-1)^{i-1}\cdot{n_0}!}{n_1!\cdot{(n_1+i)^2}\cdot{(i-1)!}\cdot{(n_0-n_1-i)!}}=\big\sum_{i=1}^{n_0-n_1}\frac{1}{n_1+i}$,

где $n_1\ge0,\,n_0>n_1$

[SpBTimes]

Чтобы написать нижний индекс, нужно использовать символ "_". Например, n_0 превращается в $n_0$. Исправляйте.

[Kitonum]

SpBTimes в сообщении #819107 писал(а):

Чтобы написать нижний индекс, нужно использовать символ "_". Например, n_0 превращается в $n_0$. Исправляйте.

Я не знал, что это считается ошибкой. Я думал, что $n1$ и $n0$ такие-же символы как $n_1$ и $n_0$ . Исправил на символы с нижними индексами.