Diese Annahme besagt, dass für einen zusammengesetzten Modul nicht effizient geprüft werden kann, ob ein Element in eine -te Wurzel modulo besitzt oder nicht, falls und wie oben beschrieben gewählt wurden.