proved some more theorems