Q28 Matemática  (Tournament Of Towns 1987)

Prove que existem infinitos pares de números naturais $a$ e $b$ tais que $a^2+1$ é divisível por $b$ e $b^2+1$ é divisível por $a$ .