This is because pn#, and thus pn# + m, is divisible by the prime factors of m not larger than pn.
Это является следствием факта, что pn#, а тогда и pn# + m, делятся на простые делители чисел m, не превосходящих pn.