Construct a rigorous mathematical proof by strong induction to demonstrate that the sum of the first n powers of 2 equals 2^(n+1) - 1. Furthermore, generalize this proof to show that for any geometric series with initial term a and common ratio r (where r != 1), the sum is a(r^n - 1)/(r - 1). Explicitly state the inductive hypothesis and the inductive step.