circle all theorems