theorem Cantor5Div: :: NUMBER12:37

for f being natural-valued increasing Arithmetic_Progression st ( for i being Nat st i < 10 holds
f . i is odd Prime ) holds
210 divides difference f