Each of X and Y is an odd positive integer and
X² - Y² + 1 divides Y² - 1.

Is X² - Y² + 1 a perfect square for every possible pair of (X,Y)?
If so, prove it.
If not, provide a counterexample.