for k being Nat st 2 <= k holds
k -SD_Sub c= k -SD