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