theorem Diff210Mod11: :: NUMBER12:39

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
for f0 being Nat st f0 = f . 0 holds
f0 mod 11 = 1