Se puede entonces suponer sin pérdida de generalidad que "p" es un factor primo menor que todos los "q" (con 1 ≤ "j" ≤ "n").