x^2 + 1 = x^2 + \fracx^2x^2 = x^2 + 1 \Rightarrow \textTry direct substitution - AIKO, infinite ways to autonomy.