Induction Proof: x^n - y^n has x - y as a factor for all positive integers n