for k being Nat
for tx being Tuple of 1,k -SD holds SDDec tx = DigA (tx,1)