example theorems