Theorems of Restricted Dynamic Shakedown