CF 224d2: Arithmetic Progression