History of Hindu Mathematics: A Source Book v2.c17.s16.8

Since a, k have no common factor, it follows that $(a₁² k - 2 b a₁ + 1)/(a²) = (n² - N)/k = k₁ = an integer.$