Kako je niz (bn)n∈N aritmetički, svaki njegov član nakon prvog jednak je aritmetičkoj sredini njegovog prethodnika i sljedbenika. Za sve n∈N slijedi
bn+1=2bn+bn+2,
an+2−i=1∑n+1ai=21(an+1−i=1∑nai+an+3−i=1∑n+2ai),
2an+2−an+1−an+3=2i=1∑n+1ai−i=1∑nai−i=1∑n+2ai,
(an+2−an+1)−(an+3−an+2)=(i=1∑n+1ai−i=1∑nai)−(i=1∑n+2ai−i=1∑n+1ai).
Korištenjem definicije niza (cn)n∈N te činjenice da se parovi suma u zagradama na desnoj strani razlikuju za po jedan pribrojnik, dalje dobivamo
cn−cn+1=an+1−an+2=−cn,
cn+1=2cn.
Kako gornja jednakost vrijedi za sve n∈N, zaključujemo da je niz (cn)n∈N geometrijski s kvocijentom 2.