Seja (an) uma progressão aritmética cujos termos são números inteiros positivos e para cada número natural n, a soma de seus n primeiros termos é dada por Sn = 2n2 + 6n. Se a sequência (bn) é definida por bn = an + an+3 , verifica-se que (bn) é uma progressão aritmética.
A soma dos n primeiros termos de (bn) é dada por