
, при этом ясно что

. Можно и

вычислить, это будет

. Но как заметить, что

и т.д. Я понимаю, что это работает, но что-то никак не соображу из каких соображений это имеет место.
UPD^ Вообще интересно, несет ли это тождество какой-нибудь комбинаторный смысл?