1. z = a^i

2. The inductive hypothesis is P(0) ^ P(1) ^ ... ^ P(n),
or equivalently, that for all k such that 0 <= k <= n, we
have F(k) >= 0.