x^2 - 2 y^2 = 1