changed save-theorems