theorem Th6: :: NUMBER11:6

for n, b being Nat st n < b & b > 1 holds
Sum (digits (n,b)) = n