added theorems to paper