Redirecting to
Problem 752: Powers of $1+\sqrt 7$
...