The is just a condition that needs to be satisfied in order for a finite amount of solutions to exist. If anything other than positive integer solutions were possible among the x values, there would be infinitely many solutions to the equation. Think about it, say the situation in which and satisfied the equation, then so would and , and etc.

b) =