A soma de todos os números primos menores do que 20 é um número?