basic theorems fixed