[dedekind.jpg]