Aritmetinės progresijos savybė

Ar tiesa, kad aritmetinės progresijos narys \(a_n\) yra lygus jo kaimynų \(a_{n-1}\) ir \(a_{n+1}\) aritmetiniam vidurkiui, ir tai išreiškiama formule \(a_n = \frac{a_{n-1} + a_{n+1}}{2}\)?