no DLP for material-theorem

[] material-theorem