Added more theorems.