Def/Arithmetic progression

 =Formula= Suppose that $(a_i)$ is an arithmetic progession, with slope $m$. Then, there exists a constant $b$, such that:
 * $a_i = mi + b$, for every $i$.