Theorems on Dedekind Sums