theorem Th5: :: RADIX_5:5

for i, k, n being Nat st i in Seg n holds
DigA ((DecSD (0,n,k)),i) = 0