Some theorems