Ему не нужно тело, цель состоит в том, чтобы просто увеличить d
до тех пор, пока условие n % d != 0
не станет ложным (то есть, когда n % d == 0
истинно).Во время этого процесса он ничего не делает с d
.
В конце цикла d
будет самым низким фактором n
.Если d == n
, это означает, что n
не имеет никаких других факторов, кроме самого себя и 1 (что не проверяется, поскольку цикл начинается с d = 2
), т. Е. Оно простое.