added theorems