Dirichlet, P. G. L.; Dedekind, R.