For each natural number, the statement P(n)=23n−1 is divisible by
For all natural numbers n, 23n−7n−1 is divisible by