The factors it finds are ones for which the number preceding the factor, "p" − 1, is powersmooth; the essential observation is that, by working in the multiplicative group modulo a composite number "N", we are also working in the multiplicative groups modulo all of "N"'s factors.