Математическая элегантность: Теорема Дедекинда