renamed some theorems