theorem Theorem72V1: :: NUMBER12:40

for f being natural-valued increasing Arithmetic_Progression st ( for i being Nat st i < 10 holds
f . i is odd Prime ) & difference f = 210 holds
f . 0 >= 199