dedekind discriminant theorem