For the recurrence $a_n = a_{n-1} + a_{n-2}$ with $a_0 = 0, a_1 = 1$ (Fibonacci), if $G(x) = \sum_{n=0}^{\infty} a_n x^n$ is the generating function, which equation does $G(x)$ satisfy?