Problem 5
Prove that for every positive integer there exist consecutive positive integers none of which is a prime or a power of a prime.
Step 3 of 4: Use a prime divisor of the offset
In plain words
The added prevents the chosen prime from accounting for the whole factorization.
Detailed analysis
Choose a prime dividing . Since is an integer, the quotient is divisible by , so is congruent to modulo , and in particular is not divisible by . Thus is divisible by but its quotient by is still greater than .