In Problems 23–27, prove each statement.

a − b is a factor of aⁿ − bⁿ. a^k+1 − b^k+1 = a(a^k − b^k ) + b^k (a − b)