Dedekind's Criterion