Style theorems and lemmas like defs