Удалена недосмтоверная и ненужная информация, добавлено доказательство теоремы Диемитко