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