La condición de que no haya ningún divisor primo fijo es puramente local (es decir, depende únicamente de los primos).