for a, b, n being Nat st a > 1 & b > 0 & a gcd b = 1 holds
not a divides (a + b) |^ n