theorem Th21: :: NUMERAL2:21

for n, k being Nat st k = (10 |^ ((2 * n) + 1)) + 1 holds
11 divides k