Добавлена теорема Диемитко, алгоритм Диемитко, убрана "малая модифицированная теорема Ферма"