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

. Можно и 

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

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