Sejam a, b reais e n natural maior ou igual a 2. Suponhamos por um momento que a propriedade comutativa da multiplicação não é válida. Então teremos:
Quantas sequencias com 1 b' e 2 a's aparece em
Quantas sequencias com 3 b's e um a aparece em ?
Imagine que agora sabemos que a propriedade comutativa da multiplicação é válida. Como poderíamos escrever as expressões acima? Como poderíamos somar elementos semelhantes?
Como poderíamos escrever ou ? E como poderíamos escrever os elementos semelhantes?