soma dos números inteiros que satisfazem a sentença é um número