What Opalg is just a consequence of a much broader theorem, namely that if is differentiable and is bounded then is Lipschitz. (this is, in fact, an iff statement)
And thus, if is compact and if is continuously differentiable we must have that necessarily bounded and thus is Lipschitz.