Se dan dos enteros positivos coprimos $ a, b $ . La secuencia de enteros $ \{ a_n \}, \{b_n \} $ satisface \[ (a+b \sqrt2 )^{2n} = a_n + b_n \sqrt2 \] Encuentra todos los números primos $ p $ tales que existe un entero positivo $ n \le p $ que satisface $ p | b_n $ .