>>488
(A_n)^2-2(B_n)^2=(A_n+√2B_n)(A_n-√2B_n)