no DLP for slide-theorem

[] slide-theorem