theorem :: NUMBER12:26

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