Definition of "theorems"

theorems