File:Dedekind Cut - Successor cover.jpg