1 |^ n = (a gcd (a + 1)) |^ n ;
hence ((a + 1) |^ n) gcd (a |^ n) = 1 by NEWTON027; :: thesis: verum