theorem APAsArProg: :: NUMBER06:6

for f being Arithmetic_Progression holds f = ArProg ((f . 0),(difference f))