proved some renaming theorems