Various theorems Synonyms

Definitions for Various