basic theorems