och I . Dedekind.