no DLP for skel-theorem

[] skel-theorem