¹Note that from here on, we will assume that a₀ = 1 without loss of generality, since most of the results can simply be multiplied by a₀.