Dedekind discriminant theorem