Dúvida em igualdade de somatório com combinacoes

[mdroid]

Boa tarde.

tenho o seguinte problema para resolver mas estou com dúvidas:

Problema: Verificar se é verdadeira a seguinte igualdade e justificar:



Após analisar, percebi que se fosse , (sem o a multiplicar por )
aplicando a lei da simetria dava
e aplicando a convolução de vandermonde e depois continuava-se sem o somatório.

A minha pergunta é como eu lido com o dentro do somatório de forma a validar a igualdade inicial? Pelas propriedades dos somatório que conheço, não é possível passar o para fora do somatório.

Obrigado.