I . Dedekind ,s.