fixed theorems and edited
edited