theorem :: NUMBER12:23

for f being Arithmetic_Progression st ( for i being Nat holds f . i is Prime ) holds
difference f is Integer