no DLP for reference-theorem

[] reference-theorem