no DLP for cycle-theorem

[] cycle-theorem