Let *a* and *b* be positive integers such that *ab + 1* divides *a2 + b2*. Prove that *(a2 + b2) / (ab + 1)* is the square of an integer.