Add new predefined theorems