Seja um inteiro positivo, então
Note que para , então essa "soma infinita" é, na verdade, finita.
Prova. Provaremos o resultado de um modo um tanto curioso pelo Princípio da Inclusão-Exclusão.
Tome um elemento e conjuntos idênticos, todos iguais a . Então o PIE nos diz que
Onde esses sinais de soma e subtração alternados continuam até chegarmos na interseção de todos os conjuntos.
Mas agora note que essa equação é a mesma coisa que
Exatamente o que desejávamos.