What an arithmetic progression is