added all theorems