Теорема Дедекинда: полное доказательство и объяснение