Basic formulae
Derived formulae
Summation notation
Arithmetic sequence
Proving arithmetic progression