theorem RngForArProg: :: NUMBER12:42

rng ((ArProg (199,210)) | 10) = {199,409,619,829,1039,1249,1459,1669,1879,2089}