Theorems added