File talk:Dedekind.jpeg