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.