theorem Th6: :: NUMERAL1:6

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