Comments

I did not understand, why do we need to make gcd k + 1 ?