the dedekind cut