estou com dificuldades em efectuar esta prova sem recorrer à IM, no entanto tendo como suporte as matérias já dadas, como:
1 - Funções Injetivas, sobrejetivas e bijeticvas.
2 - Cardinalidades.
3 - Coeficientes binomiais.
4 - Permutações e combinações.
5 - Binomio de Newton, triangulo de pascal, lei de simetria, etc.
Tentei fazer este desenvolvimento que não sei se está correto, mas depois não consegui avançar mais
:

recursivamente em função das somas
.
,
.
(verifique ) . Fixe
arbitrariamente .
, veja que
.
, temos
.
, substituindo na expressão acima , temos
. Finalmente , substituindo esta expressão na soma , vem
, ou seja
.
. De acordo com a formula acima ,
.
.