theorem :: NUMBER12:41

for f being natural-valued increasing Arithmetic_Progression st ( for i being Nat st i < 10 holds
f . i is odd Prime ) holds
f . 9 >= 2089