The top documents tagged [finitearithmetic progression]