theorem :: RADIX_5:6

for n, k being Nat st n >= 1 holds
SDDec (DecSD (0,n,k)) = 0